301. Mathematical logic and applications: Proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue, eds.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1388
302. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue, eds,Title
موضوع : Logic, Symbolic and mathematical - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
303. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T. A. Slaman, T. Tugue, eds
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1388
304. Mathematical logic and applications. proceedings of the Logic Meeting held in Kyoto, 1987, Lecture notes in mathematics
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical, Congresses
رده :
QA
3
.
M3
1989
305. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده : Ed. by Yehoshua Bar-Hillel
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
306. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, symbolic and mathematical-- Congresses
رده :
QA
9
.
I54
1968
307. Mathematical logic in Asia
پدیدآورنده :
موضوع : Logic, Symbolic and mathematical Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
308. Mathematical logic in Asia
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
309. Mathematical logic in Asia
پدیدآورنده : / editors, S.S. Goncharov, R. Downey, H. Ono
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
Q
,
334
,.
A853
,
2005
310. Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
پدیدآورنده : editors, S. S. Goncharov, R. Downey, H. Ono
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1A84
2005
311. Mathematical logic in Latin America
پدیدآورنده : / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. -
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L37
,
1978
312. Mathematical logic in Latin America
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
313. Mathematical logic in Latin America :
پدیدآورنده : edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L37
1978
314. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
315. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
پدیدآورنده : Walter A. Carnielli and Luiz Paulo de Alcantara
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L37
1985
316. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
پدیدآورنده : Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L37
1985
317. Methods in mathematical logic: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
318. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
پدیدآورنده : edited by C. A. Di Prisco
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1130
319. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده : edited by C.A. Di Prisco
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
1130
320. Methods in mathematical logic, proceedings of the 6th Latin American symposium an Mathematical Logic 1-6, 1983
پدیدآورنده : edited by C. A. Diprisco
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1130
